- universal deduction
- универсальный вывод
Англо-русский словарь по исследованиям и ноу-хау. Е.Г. Коваленк. 2015.
universal deduction
Смотреть что такое "universal deduction" в других словарях:
Deduction — • An argument or reasoning process, that kind of mediate inference by which from truths already known we advance to a knowledge of other truths necessarily implied in the former; the mental product or result of that process. Also a method, the… … Catholic encyclopedia
deduction — 1 Deduction, abatement, rebate, discount are comparable when they mean an amount subtracted from a gross sum. Deduction is interchangeable with any of the others but not without some loss in precision. An abatement is a deduction from a levied… … New Dictionary of Synonyms
deduction — /di duk sheuhn/, n. 1. the act or process of deducting; subtraction. 2. something that is or may be deducted: She took deductions for a home office and other business expenses from her taxes. 3. the act or process of deducing. 4. something that… … Universalium
deduction — noun Date: 15th century 1. a. an act of taking away < deduction of legitimate business expenses > b. something that is or may be subtracted < deductions from his taxable income > 2 … New Collegiate Dictionary
Universal instantiation — In logic universal instantiation (UI, sometimes confused with Dictum de omni) is an inference from a truth about each member of a class of individuals to the truth about a particular individual of that class. It is generally given as a… … Wikipedia
deduction — This word (from the Latin deducere, meaning to lead from ) is used in philosophy and theology to refer to amethod of reasoning that begins with general or universal principles and applies them to specific cases or uses these principles to come … Glossary of theological terms
Hilbert-style deduction system — In logic, especially mathematical logic, a Hilbert style deduction system is a type of system of formal deduction attributed to Gottlob FregeMáté Ruzsa 1997:129] and David Hilbert. These deductive systems are most often studied for first order… … Wikipedia
Natural deduction — In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the natural way of reasoning. This contrasts with the axiomatic systems which instead use… … Wikipedia
Critique of Pure Reason — Part of a series on Immanuel … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
